HITs is a link-structure analysis algorithm which ranks pages by "authorities" (pages which have many incoming links and provide the best source of information on a given topic) and "hubs" (pages which have many outgoing links and provide useful lists...

LaTeX Tutorial with examples and exercises.

Programming contest open to any student of Cornell University.

Ithaca, New York

Reliable distributed computing research in Cornell University computer science department. Has information on Ensemble, a publicly distributed toolkit based on Horus research.

Open source system that provides fully decentralized approximate keyword search capabilities to Vuze as a standard plugin. As it is decentralized, it's immune to legal and technical attacks targeting torrent aggregators.

Eighth International Conference on Principles and Practice of Constraint Programming. Cornell University, Ithaca, NY, USA; 8--13 September 2002.

TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, peo...

a modular network simulator featuring a java GUI

A Typed Assembly Language for x86. Supports sums, arrays, references, recursive types, subtyping, type tagging, and modules.